Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
141	ASSESSING THE POTENTIAL OF SOCIETAL VERIFICATION BY MEANS OF NEW MEDIA Add to Reading List Source URL: www.nps.edu Language: English - Date: 2014-02-07 19:08:41 Community building Social information processing Structure Networks Network theory Social network New media Six degrees of separation Social media Technology Science Sociology
142	Radar raingauge verification Sandy Dance [removed], Alan Seed [removed] Overview We take radar rainfall estimations from Rainfields, the QPE system, and compare it with raingauge data in order to derive Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2011-12-11 23:13:09 Probability theory Variance Kriging Estimation theory Rain Normal distribution Weather radar Statistics Radar Data analysis
143	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling
144	Application of Spatial-Temporal Fractions Skill Score to high-resolution ensemble forecast verification Le Duc , Kazuo Saito , Hiromu Seko 1 1 Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2011-12-11 21:05:04 Science Control theory Data assimilation Estimation theory Earth Meteorology Weather prediction Statistical forecasting Statistics
145	MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle Md Abdullah Al Mamun, Christian Berger, and Jörgen Hansson Chalmers \| University of Gothenburg, Sweden Department of Computer Science and Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:41 Wireless sensor network Technology Configuration graph Sensor node Prolog Model-based testing Programming language theory Computing Embedded systems Wireless networking
146	Verification Procedures for Modified Numeral Quantifiers Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:40 Mathematical logic Semantics Finite model theory Predicate logic Philosophical logic Generalized quantifier FO Model theory Constructible universe Quantification Logic Theoretical computer science
147	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking
148	PSYCTOUXJICAL SCIENCE Special Section THE TROUBLE WITH CHANGE; Self-Verification and Allegiance to the Self William B. Swann, Jr. Add to Reading List Source URL: homepage.psy.utexas.edu Language: English - Date: 2006-07-26 13:38:51 Self Behavioural sciences Positive mental attitude Self-verification theory Psychological theories Self-esteem Self-enhancement Self-image Attitude Conceptions of self Social psychology Mind
149	Building for Everyone: A Universal Design Approach Facilities in buildings 6 Add to Reading List Source URL: universaldesign.ie Language: English - Date: 2014-11-09 01:20:02 Architectural design Accessibility Architectural theory Universal design Usability Construction Verification and validation Elevator Universal usability Visual arts Architecture Design
150	4-4 Transmission Experiments on OICETS Repeater Mode for Verification of Channel Coding Effect OKAMOTO Eiji, SHOJI Yozo, TOYOSHIMA Morio, and TAKAYAMA Yoshihisa In satellite-to-ground laser communication, the received op Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:12:35 Telecommunications engineering Information Low-density parity-check code Forward error correction Turbo code Reed–Solomon error correction Error floor Bit error rate Noisy-channel coding theorem Error detection and correction Coding theory Information theory

UPDATE